
(import logic.*)
(deftemplate KnowledgeRequired (declare (from-class KnowledgeRequired)))
(deftemplate KnowledgePerson (declare (from-class KnowledgePerson)))
(defglobal ?*cont* = 0)

(defrule weight-knowledge    
?knowledgeRequired <- (KnowledgeRequired (requiredKnowledgeWeight ?weight)) 
(KnowledgePerson {knowledge == knowledgeRequired.requiredKnowledge})
(KnowledgePerson {knowledgeWeight >= knowledgeRequired.requiredKnowledgeWeight})    
=>
(add (+ 0 ?weight)))



